Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
841	in: BJ. Copeland (ed.), Logic and Reality, Clarendon Press, 168 Add to Reading List Source URL: www.phil-fak.uni-duesseldorf.de Language: English - Date: 2012-01-23 08:14:44 Model theory Philosophical logic Predicate logic Non-classical logic Kripke semantics Temporal logic Epistemic modal logic Interpretation First-order logic Logic Mathematical logic Modal logic
842	Microsoft Word - FORMALPH.HAA Add to Reading List Source URL: www.as.miami.edu Language: English - Date: 2009-08-21 14:55:21 Philosophical logic Analytic philosophers Philosophy of mathematics Philosophy of science Non-classical logic Philosophy of logic Pragmatism Susan Haack Charles Sanders Peirce Philosophy Logic Analytic philosophy
843	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2003-04-22 14:53:24 Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic Mathematical logic Mathematics
844	MATH MATTERS Department of Mathematics • Cornell University • Ithaca NY Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2006-08-21 15:21:44 Proof theory Epistemology Mathematical constructivism Non-classical logic Philosophical logic Sequent Rick Durrett Intuitionism Modal logic Logic Mathematical logic Mathematics
845	The Fuzzy Ant Valeri Rozin and Michael Margaliot∗ Add to Reading List Source URL: www.eng.tau.ac.il Language: English - Date: 2007-03-01 08:12:14 Fuzzy logic Artificial intelligence Logic in computer science Non-classical logic Ant Mathematical model Fuzzy set Artificial neural network Ant colony optimization algorithms Logic Mathematics Mathematical logic
846	Theoretical Elsevier Add to Reading List Source URL: www.univr.it Language: English - Date: 2012-11-16 08:23:50 Non-classical logic Substructural logic Logic in computer science Predicate logic Sequent calculus Intuitionistic logic First-order logic Atomic formula Natural deduction Logic Mathematical logic Proof theory
847	LOGIC BIBLIOGRAPHY up to 2008 by Add to Reading List Source URL: www.phil-fak.uni-duesseldorf.de Language: English - Date: 2008-02-26 08:06:24 Philosophical logic Analytic philosophers Non-classical logic Philosophers of mathematics Game semantics Many-valued logic Informal logic Alfred Tarski Paraconsistent logic Logic Mathematical logic Philosophy
848	On Inductive Logic Author(s): Rudolf Carnap Source: Philosophy of Science, Vol. 12, No. 2 (Apr., 1945), pp[removed] Add to Reading List Source URL: tu-dresden.de Language: English - Date: 2011-10-11 11:21:09 Logical consequence Non-classical logic Critical thinking Mathematical logic Entailment Function Modal logic Truth Argument Logic Philosophy Philosophical logic
849	A Method for Access Authorisation Through Delegation Networks Audun Jøsang1 1 Add to Reading List Source URL: persons.unik.no Language: English - Date: 2008-04-28 03:37:53 Non-classical logic Probability theory Subjective logic XACML Authorization Delegation Simple public key infrastructure Information security Information Security Computing Computer security
850	1 An Introduction to Description Logics Daniele Nardi Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Non-classical logic Knowledge Artificial intelligence Philosophical logic Knowledge representation and reasoning Scientific modeling Description logic Frame language Modal logic Logic Science Knowledge representation

UPDATE